Integrand size = 21, antiderivative size = 99 \[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=2 b m n x-b n x \log \left (f x^m\right )-\frac {b d m n \log (d+e x)}{e}-x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {b d n \log \left (f x^m\right ) \log \left (1+\frac {e x}{d}\right )}{e}+\frac {b d m n \operatorname {PolyLog}\left (2,-\frac {e x}{d}\right )}{e} \]
[Out]
Time = 0.06 (sec) , antiderivative size = 99, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {2469, 45, 2393, 2332, 2354, 2438} \[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=-x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {b d n \log \left (\frac {e x}{d}+1\right ) \log \left (f x^m\right )}{e}+\frac {b d m n \operatorname {PolyLog}\left (2,-\frac {e x}{d}\right )}{e}-\frac {b d m n \log (d+e x)}{e}-b n x \log \left (f x^m\right )+2 b m n x \]
[In]
[Out]
Rule 45
Rule 2332
Rule 2354
Rule 2393
Rule 2438
Rule 2469
Rubi steps \begin{align*} \text {integral}& = -x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-(b e n) \int \frac {x \log \left (f x^m\right )}{d+e x} \, dx+(b e m n) \int \frac {x}{d+e x} \, dx \\ & = -x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-(b e n) \int \left (\frac {\log \left (f x^m\right )}{e}-\frac {d \log \left (f x^m\right )}{e (d+e x)}\right ) \, dx+(b e m n) \int \left (\frac {1}{e}-\frac {d}{e (d+e x)}\right ) \, dx \\ & = b m n x-\frac {b d m n \log (d+e x)}{e}-x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-(b n) \int \log \left (f x^m\right ) \, dx+(b d n) \int \frac {\log \left (f x^m\right )}{d+e x} \, dx \\ & = 2 b m n x-b n x \log \left (f x^m\right )-\frac {b d m n \log (d+e x)}{e}-x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {b d n \log \left (f x^m\right ) \log \left (1+\frac {e x}{d}\right )}{e}-\frac {(b d m n) \int \frac {\log \left (1+\frac {e x}{d}\right )}{x} \, dx}{e} \\ & = 2 b m n x-b n x \log \left (f x^m\right )-\frac {b d m n \log (d+e x)}{e}-x \left (m-\log \left (f x^m\right )\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {b d n \log \left (f x^m\right ) \log \left (1+\frac {e x}{d}\right )}{e}+\frac {b d m n \text {Li}_2\left (-\frac {e x}{d}\right )}{e} \\ \end{align*}
Time = 0.08 (sec) , antiderivative size = 116, normalized size of antiderivative = 1.17 \[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=\frac {\log \left (f x^m\right ) \left (b d n \log (d+e x)+e x \left (a-b n+b \log \left (c (d+e x)^n\right )\right )\right )-m \left (a e x-2 b e n x+b d n (1+\log (x)) \log (d+e x)+b e x \log \left (c (d+e x)^n\right )-b d n \log (x) \log \left (1+\frac {e x}{d}\right )\right )+b d m n \operatorname {PolyLog}\left (2,-\frac {e x}{d}\right )}{e} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 5.25 (sec) , antiderivative size = 657, normalized size of antiderivative = 6.64
method | result | size |
risch | \(\left (b x \ln \left (x^{m}\right )+\frac {x b \left (-i \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )+i \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2}+i \pi \,\operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2}-i \pi \operatorname {csgn}\left (i f \,x^{m}\right )^{3}+2 \ln \left (f \right )-2 m \right )}{2}\right ) \ln \left (\left (e x +d \right )^{n}\right )+\left (-\frac {i b \pi \,\operatorname {csgn}\left (i c \left (e x +d \right )^{n}\right ) \operatorname {csgn}\left (i c \right ) \operatorname {csgn}\left (i \left (e x +d \right )^{n}\right )}{4}+\frac {i \pi \,\operatorname {csgn}\left (i c \right ) \operatorname {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2} b}{4}+\frac {i \pi \,\operatorname {csgn}\left (i \left (e x +d \right )^{n}\right ) \operatorname {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2} b}{4}-\frac {i \pi \operatorname {csgn}\left (i c \left (e x +d \right )^{n}\right )^{3} b}{4}+\frac {b \ln \left (c \right )}{2}+\frac {a}{2}\right ) \left (i \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2} x +i \pi \,\operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2} x +2 x \ln \left (f \right )-i \pi \operatorname {csgn}\left (i f \,x^{m}\right )^{3} x -i \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right ) x +2 \ln \left (x^{m}\right ) x -2 m x \right )+\frac {i n b x \pi \operatorname {csgn}\left (i f \,x^{m}\right )^{3}}{2}-\frac {i n b x \pi \,\operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2}}{2}+\frac {i n b x \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )}{2}-\frac {i n b d \ln \left (e x +d \right ) \pi \operatorname {csgn}\left (i f \,x^{m}\right )^{3}}{2 e}-n b x \ln \left (f \right )+2 b m n x -\frac {i n b x \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2}}{2}+\frac {i n b d \ln \left (e x +d \right ) \pi \,\operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2}}{2 e}+\frac {i n b d \ln \left (e x +d \right ) \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i f \,x^{m}\right )^{2}}{2 e}-\frac {i n b d \ln \left (e x +d \right ) \pi \,\operatorname {csgn}\left (i f \right ) \operatorname {csgn}\left (i x^{m}\right ) \operatorname {csgn}\left (i f \,x^{m}\right )}{2 e}+\frac {n b d \ln \left (e x +d \right ) \ln \left (f \right )}{e}-\frac {b d m n \ln \left (e x +d \right )}{e}-n b \ln \left (x^{m}\right ) x +\frac {n b \ln \left (x^{m}\right ) d \ln \left (e x +d \right )}{e}+\frac {n b m d}{e}-\frac {n b m d \ln \left (e x +d \right ) \ln \left (-\frac {e x}{d}\right )}{e}-\frac {n b m d \operatorname {dilog}\left (-\frac {e x}{d}\right )}{e}\) | \(657\) |
[In]
[Out]
\[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=\int { {\left (b \log \left ({\left (e x + d\right )}^{n} c\right ) + a\right )} \log \left (f x^{m}\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 139, normalized size of antiderivative = 1.40 \[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=-{\left (\frac {{\left (\log \left (e x + d\right ) \log \left (-\frac {e x + d}{d} + 1\right ) + {\rm Li}_2\left (\frac {e x + d}{d}\right )\right )} b d n}{e} + \frac {b d n \log \left (e x + d\right ) + b e x \log \left ({\left (e x + d\right )}^{n}\right ) - {\left ({\left (2 \, e n - e \log \left (c\right )\right )} b - a e\right )} x}{e}\right )} m - {\left (b e n {\left (\frac {x}{e} - \frac {d \log \left (e x + d\right )}{e^{2}}\right )} - b x \log \left ({\left (e x + d\right )}^{n} c\right ) - a x\right )} \log \left (f x^{m}\right ) \]
[In]
[Out]
\[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=\int { {\left (b \log \left ({\left (e x + d\right )}^{n} c\right ) + a\right )} \log \left (f x^{m}\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int \log \left (f x^m\right ) \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx=\int \ln \left (f\,x^m\right )\,\left (a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )\right ) \,d x \]
[In]
[Out]